projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38804f1) | patch
flask: Add flask-label-pci tool
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Fri, 2 Dec 2011 21:49:19 +0000 (13:49 -0800)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Fri, 2 Dec 2011 21:49:19 +0000 (13:49 -0800)
commitb05bd91ed260e7e004ddad8ea00fcfce593cadf1
treefcb0264ce265733ff37b858fe219fc82ccc7855ftree | snapshot
parent38804f14f8dfbe8f3eb6b57edc631ea04f4d0670commit | diff
flask: Add flask-label-pci tool

This allows a PCI device and its associated resources to be labeled
without hardcoding addresses (which may change from system to system)
in the security policy.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
tools/flask/utils/Makefile diff | blob | history
tools/flask/utils/label-pci.c [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.